Section: Research Program

Scientific Foundations

The main mathematical tools and formalisms used in Maestro include:

• theory of stochastic processes: Markov process, renewal process, branching process, point process, Palm measure, large deviations, mean-field approximation, fluid approximation;

• theory of dynamical discrete-event systems: queues, pathwise and stochastic comparisons, random matrix theory;

• theory of control and scheduling: dynamic programming, Markov decision process, game theory, deterministic and stochastic scheduling; stochastic approximation algorithms;

• theory of singular perturbations.